Feeds to Scour
SubscribedAll
Scoured 254481 posts in 1.41 s
A Validated Semantics for LLVM IR
sf.snu.ac.kr·14h
🏗️MLIR
Preview
Report Post
🎲 Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·10h
🔒S2N-QUIC
Preview
Report Post
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
arxiv.org·3d
🛡️Error Handling
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
💎Refinement Types
Preview
Report Post
Refined Types in Rust: Parse, Don't Validate
dev.to·1h·
Discuss: DEV
📦Serde
Preview
Report Post
Resolving Names Once and for All
thunderseethe.dev·1d·
Discuss: r/programming
🦀Rust Macros
Preview
Report Post
GHC 9.12.3 is now available
haskell.org·1d
📐Type Theory
Preview
Report Post
Show HN: AgentCmds – A directory of slash commands for AI agents
agentcmds.work·15h·
Discuss: Hacker News
🛡️Error Handling
Preview
Report Post
<p>**Abstract:** The proliferation of unstructured scientific data poses a significant challenge to knowledge discovery and integration. Current semantic web te...
freederia.com·1d
🕸️Knowledge Graphs
Preview
Report Post
JavaScript vs Go: A Deep Dive into Syntax and Philosophy
dev.to·7h·
Discuss: DEV
🐹golang
Preview
Report Post
Deno 2 vs Node.js vs Bun in 2026: The Complete JavaScript Runtime Comparison
pockit.tools·16h·
Discuss: DEV
🥖Bun
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
📐TLA+
Preview
Report Post
C Right-Left Rule (Rick Ord's CSE 30
cseweb.ucsd.edu·1d
♻️Interning
Preview
Report Post
the myth of multitasking and other things i learned today
lollar.bearblog.dev·7h
⏭️Skip Lists
Preview
Report Post
Software Architecture with C++: Designing robust C++ systems with modern architectural practices, Edition 2 by Andrey Gavrilin, Adrian Ostrowski, Piotr Gaczkowski
play.google.com·2d·
Discuss: r/cpp
🔨Incremental Compilation
Preview
Report Post
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems: 9781098119065: Computer Science Books @ Amazon.com
amazon.com·22h
🏗️Systems Design
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·7h
💎Refinement Types
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🏗️Pavex
Preview
Report Post
Friendly Little Wrapper Types — Sympolymathesy, by Chris Krycho
v5.chriskrycho.com·3h
📦Serde
Preview
Report Post
PhD Thesis An INFORMATION THEORETIC APPROACH TO THE EXPRESSIVENESS OF PROGRAMMING LANGUAGES by Joseph Ray Davidson July 2015
macs.hw.ac.uk·4d
🔬Static Analysis
Preview
Report Post